Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
61	Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June An Example Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:36:50 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Functional languages Object-oriented programming languages Procedural programming languages Scala Fold Map ALGOL 68
62	Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:40:26 Software engineering Computer programming Computing Data types Functional languages Functional programming Recursion Sorting algorithms Merge sort Scala List Cons
63	Council for Higher Education Accreditation Board of DirectorsEXECUTIVE COMMITTEE James L. Gaudino, Chair President Add to Reading List Source URL: www.chea.org Language: English - Date: 2016-03-01 10:36:37 Email Computing Fax Gmail Equipment Technology
64	MemcachedGPU: Scaling-up Scale-out Key-value Stores Mike O’Connor NVIDIA / UT-Austin There is a continuously growing demand for higher Add to Reading List Source URL: acmsocc.github.io Language: English - Date: 2016-02-21 03:10:51 Computer architecture Computing GPGPU Video cards Parallel computing Graphics hardware Computer engineering Kepler General-purpose computing on graphics processing units Graphics processing unit Hash table Tesla
65	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Higher-order functions Functional languages Concurrent programming languages Programming language comparisons Functional programming Apache Spark List comprehension Oz Monad
66	Opening the Black Boxes in Data Flow Optimization †4 Fabian Hueske1 Mathias Peters†2 Matthias J. Sax†3 Astrid Rheinlander Add to Reading List Source URL: stratosphere.eu Language: English* - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Functional analysis Distributed computing architecture Parallel computing Parallelization contract Relational database Restriction Relational model Operator Higher-order function
67	® WURFL InFuze is a set of products based on the WURFL C/C++ API. WURFL InFuze gives enterprises performance that is not achievable with the other APIs for higher-level languages. Moreover, WURFL InFuze opens up new po Add to Reading List Source URL: scientiamobile.com Language: English - Date: 2016-02-19 08:52:18 Software Free software Computing Web development Wireless networking WURFL Reverse proxy Mobile Web DeviceAtlas Apache Mobile Filter
68	Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters Add to Reading List Source URL: cs.au.dk Language: English - Date: 2006-06-22 08:55:47 Software engineering Computer programming Computing Lambda calculus Subroutines Models of computation Functional programming Theoretical computer science Lisp Eval Expression Anonymous function
69	Multidisciplinary Research for Online Education www.cra.org/ccc/ Add to Reading List Source URL: cra.org Language: English - Date: 2015-08-16 15:04:32 Education Educational psychology Online education Open educational resources Educational technology Higher education Massive open online course Udacity Social computing Roy Pea Learning sciences Lifelong learning
70	EVERYTHING YOU NEED TO KNOW ABOUT XREBEL THE LIGHTWEIGHT JAVA PROFILER How can ZeroTurnaround help you? ZeroTurnaround makes revolutionary developer tools for creating higher Add to Reading List Source URL: files.zeroturnaround.com Language: English - Date: 2015-08-10 10:13:07 Computing Cross-platform software Java platform Profiling Software optimization Computer performance Java Programming tool Debugging

UPDATE